შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Proof Complexity (Encyclopedia of Mathematics and its Applications)

Proof Complexity (Encyclopedia of Mathematics and its Applications)

Jan Krajíček
წელი:
2019
ენა:
english
ფაილი:
PDF, 3.40 MB
5.0 / 5.0
english, 2019
2
Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Jan Krajicek
წელი:
1995
ენა:
english
ფაილი:
PDF, 2.97 MB
5.0 / 0
english, 1995
3
Proof Complexity (Encyclopedia of Mathematics and its Applications)

Proof Complexity (Encyclopedia of Mathematics and its Applications)

Jan Krajíček
წელი:
2019
ენა:
english
ფაილი:
PDF, 2.30 MB
5.0 / 0
english, 2019
4
Proof complexity

Proof complexity

Jan Krajíček
წელი:
2019
ენა:
english
ფაილი:
PDF, 2.66 MB
5.0 / 0
english, 2019
5
Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity

Peter Clote, Jan Krajícek
წელი:
1993
ენა:
english
ფაილი:
DJVU, 3.61 MB
0 / 0
english, 1993
6
Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Jan Krajicek
წელი:
1995
ენა:
english
ფაილი:
PDF, 2.99 MB
5.0 / 5.0
english, 1995
7
Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity

Jan Krajíček
წელი:
2011
ენა:
english
ფაილი:
PDF, 1.12 MB
0 / 0
english, 2011
8
Bounded arithmetic, propositional logic and complexity theory

Bounded arithmetic, propositional logic and complexity theory

Jan Krajicek
წელი:
1995
ენა:
english
ფაილი:
DJVU, 2.00 MB
0 / 0
english, 1995
9
Logic Colloquium ’01: Lecture Notes In Logic, 20

Logic Colloquium ’01: Lecture Notes In Logic, 20

Matthias Baaz, Sy-David Friedman, Jan Krajícek
წელი:
2005
ენა:
english
ფაილი:
PDF, 174.16 MB
0 / 0
english, 2005
11
Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Baaz, Matthias, Friedman, Sy D., Krajíček, Jan (eds.)
წელი:
2005
ენა:
english
ფაილი:
DJVU, 3.74 MB
0 / 0
english, 2005